|
|
Kongruence pro stromové automaty
Žufan, Petr ; Janků, Petr (oponent) ; Holík, Lukáš (vedoucí práce)
Tento článek pojednává o testování ekvivalence stromových automatů (TA). Přináší nový algoritmus vycházející z algoritmu Bonchiho a Pouse pro slovní automaty. Tento nový algoritmus spojuje bisimulaci s determinizací za běhu. Pomocí optimalizace založené na kongruenčním uzávěru se snaží vyhýbat extrémnímu zvětšování stavového prostoru. Z tohoto hlediska je lepší než jiné metody pro tento problém.
|
|
| |
|
|
Zajímavá prvočísla a jejich vlastnosti
KRATOCHVÍL, Daniel
Cílem této bakalářské práce je seznámit čtenáře se speciálními typy prvočísel. Celá práce je rozdělena na čtyři části. V úvodní části je čtenáři představena definice prvočísel a představeny jsou také základní poznatky o nich a jedna z metod pro jejich vyhledání. Následující dvě části jsou zaměřeny na speciální typy prvočísel, přičemž první z nich se soustředí na typy prvočísel, které nesou názvy slavných matematiků, zatímco následující část se zabývá typy prvočísel, které jsou speciální pro svou určitou specifickou vlastnost. Závěrečná část obsahuje několik příkladů s řešením a několik bez něho.
|
|
|
Lineární diofantické rovnice a kongruence
Kaňáková, Natálie ; Beran, Filip (vedoucí práce) ; Jančařík, Antonín (oponent)
Bakalářská práce shrnuje a systematizuje poznatky o kongruencích a lineárních diofantických rovnicích. Práce je rozdělena do dvou části. První část se věnuje kongruencím. Nejdříve ukazuje kongruence na příkladech z běžného života, popisuje kongruenci jako relaci, její vlastnosti a aplikaci v podobě výpočtu posledních cifer velkých čísel, odvození kritérií dělitelnosti nebo výpočtu data Velikonoc. Poté se zabývá kongruencemi obsahujícími neznámou, tedy kongruenčními rovnicemi; uvádí způsoby řešení lineárních kongruenčních rovnic a ilustruje je na příkladech. Posledním tématem první části jsou soustavy kongruencí a Čínská věta o zbytcích, její znění pro po dvou nesoudělná i soudělná čísla, algebraické znění, využití v různých typech úloh a při reprezentaci čísel pomocí zbytků. Druhá část je věnována lineárním diofantickým rovnicím, tedy rovnicím s neznámými z oboru celých čísel. Ukazuje metody řešení lineárních diofantických o dvou, třech i více neznámých - řešení s využitím Eukleidova algoritmu, redukční metodu, substituční metodu a další. V této části je také vysvětlen vztah mezi lineárními kongruencemi a lineárními diofantickými rovnicemi a využití tohoto vztahu při řešení kongruencí i diofantických rovnic. Nakonec se práce věnuje soustavám lineárních diofantických rovnic a způsobům jejich řešení. Ukazuje...
|
|
|
Uplatnění principů přístupu zaměřeného na člověka (PCA) v manažerské praxi
Mitaczová, Jana ; Junková, Vendula (vedoucí práce) ; Loneková, Katarína (oponent)
Hlavním cílem teoretické části této diplomové práce je představit Rogersův přístup zaměřený na člověka (PCA) z hlediska jeho vývoje, teorie, základních principů a možnosti uplatnění mimo terapeutický kontext se zaměřením na oblast vedení lidí. První kapitola je věnovaná obecným poznatkům o PCA a v druhé kapitole jsou blíže popsány možnosti uplatnění PCA v manažerské praxi. Hlavním cílem empirické části je ověření souvislosti uplatnění základních podmínek PCA ve vedení lidí (resp. vedení zaměřeného na člověka) s oddaností zaměstnanců organizaci, pro kterou pracují. Kvantitativní výzkum v podobě korelační studie byl realizován dotazníkovým šetřením na vzorku 63 respondentů, zaměstnanců z různých organizací a z různých oborů. V tomto výzkumu byly použity metody Barrett-Lennardův vztahový dotazník (BLRI) a Dotazník oddanosti organizaci (OCQ). Výsledky ukazují významnou korelaci mezi oddaností zaměstnance organizaci a mírou empatického porozumění, kongruence a úrovně přijetí ze strany vedoucího. Významný vztah mezi oddaností organizaci a nepodmíněností přijetí v rámci tohoto výzkumu potvrzen nebyl. Kromě hypotéz vycházejících z hlavního cíle jsou v rámci výzkumu ověřovány některé další hypotézy. Je zkoumán vztah mezi mírou uplatňování vedení zaměřeného na člověka a (1) délkou vztahu zaměstnance a...
|
|
|
Hledání plného lidství: Z pohledu mystiky a humanistické psychoterapie
Vaněk, Matěj ; Macek, Ondřej (vedoucí práce) ; Hošek, Pavel (oponent)
Diplomová práce se zabývá hledáním plného lidství z pohledu mystiky a hu- manistické psychoterapie. Autor rozděluje práci do tří bloků. V prvním vy- chází z mystiky Dorothee Sölle a její knihy Mystika a vzdor, která práci pro- půjčuje mystickou spiritualitu všednosti a každodenního života. Z knihy si autor volí mystickou cestu "Já a oproštění od Já", která do práce přináší kon- cept ega, konzumu či vztah k lidskému nitru. Druhý blok se zabývá terapeu- tickým přínosem humanistických psychoterapeutů Virginie Satirové a Carla Ransoma Rogerse. Autor představuje jejich terapeutické modely ve třech kapitolách: Vývoji směru, Obraz člověka a Terapeutický proces a cíl. Do práce tak pronikají koncepty pro plnost lidského života: lidský vztah, kongruence a důležitost sebepoznání. Kongruence se stává klíčovým pojmem, který v sobě nese až spirituální momenty. Třetí blok je vymezením společného prostoru pro mystiku a humanistickou psychoterapii. Autor v dnešní postmoderní at- mosféře představuje "mystického člověka", ve kterém propojuje poznatky ze dvou předešlých bloků. Mystický člověk v sobě naplňuje prvky všední spiri- tuality a kongruence. Na představené pojmy z mystiky vrhá mystický člověk jasnější světlo a díky pojmům z humanistické psychoterapie mystiku přesněji zasazuje do života v postmoderní době....
|
|
|
Kvantifikované subjekty a jejich shoda s přísudkem
Jochová, Marie ; Giger, Markus (vedoucí práce) ; Stranz-Nikitina, Veronika (oponent)
Bakalářská práce se zabývá shodou podmětu s přísudkem ve větách s kvantifikovaným subjektem. Teoretická část seznamuje čtenáře s obecnou problematikou shody a ukazuje její různé podoby v jazyce českém a ruském. Také shrnuje základní poznatky o shodě přísudku s kvantifikovaným subjektem v ruštině a mapuje faktory, které tuto shodu ovlivňují. Zaměřuje se pouze na číslo přísudku, které je právě v těchto případech variabilní. Část praktická ověřuje poznatky z části teoretické pomocí dat z ruského národního korpusu. Proběhlo ověřování čtyř faktorů, které by měli ovlivňovat číslo přísudku. Jednalo se o slovosled, životnost, agentivnost podmětu a samotný kvantifikátor. Z dat v korpusu se ukázalo, že zcela zásadní vliv na číslo přísudku má slovosled a kvantifikátor. Životnost má výrazně menší vliv a u agentivnosti podmětu je vliv zanedbatelný.
|
|
|
Analýza chování vybraných států v Jihočínském moři
Jetelinová, Denisa ; Kučerová, Irah (vedoucí práce) ; Karásková, Ivana (oponent)
Jihočínské moře je již po několik desetiletí předmětem sporu mezi s ním sousedícími státy, a to Čínskou lidovou republikou (Čínou), Vietnamem, Filipínami, Indonésií, Brunejí a Malajsií. Vzhledem k tomu, že je toto moře geopoliticky i geostrategicky velmi významné, Čína se pokouší prohlásit se za historického svrchovaného vládce. Její aktivity však narážejí na nároky ostatních států, především pak Vietnamu a Filipín, které mají též zájem na získání kontroly nad ostrovy v Jihočínském moři. Spor tak neustále přetrvává a nepřetržité aktivity všech dotčených zemí vytvořily nekonečnou spirálu událostí, v nichž je dlouhodobě obtížné rozlišovat mezi akcí a reakcí jednotlivých aktérů sporu. Má diplomová práce se proto soustředí na analýzu jednání tří zvolených zemí, Číny, Vietnamu a Filipín, a to z pohledu strukturálního realismu, který je rozštěpen na dva protichůdné proudy, defenzivní a ofenzivní. Jejich rozdílné náhledy na svět mi v mé analýze napomáhají k objasnění, zda je chování zvolených aktérů defenzivní, či naopak ofenzivní. Pro analýzu bylo zvoleno období od roku 2011 do roku 2018, přičemž především v prvních čtyřech letech došlo k několika větším incidentům. Ty jednoznačně prokázaly v chování Číny znaky ofenzivního realismu, zatímco reakce Vietnamu a Filipín bylo možné považovat za defenzivní.
|
|
|
Kubická a bikvadradická reciprocita
Staško, Samuel ; Příhoda, Pavel (vedoucí práce) ; Krásenský, Jakub (oponent)
Hlavní motivací pro zkoumání kubické a bikvadratické reciprocity je rozhod- nout, zda mají kongruence x3 ≡ a (p) nebo x4 ≡ a (p), kde a ∈ Z, p prvočíslo, nějaké celočíselné řešení. Jádrem této práce je prostřednictvím postupně vybudo- vané teorie v okruzích Eisensteinových a Gaussových celých čísel dokázat zákony kubické a bikvadratické reciprocity. U obou těchto tvrzení se navíc podrobněji podíváme na speciální případy, ve kterých je nelze použít. To nás povede k od- vození tzv. doplňku k zákonu kubické (resp. bikvadratické) reciprocity. Nakonec ukážeme, jak lze tyto výsledky aplikovat na problém řešitelnosti zmíněných kon- gruencí. 1
|
|
| |
host ::
RSS.